финитизм в словаре кроссвордиста
Энциклопедический словарь, 1998 г.
ФИНИТИЗМ (от лат. finitus - определенный, законченный) логико-математическая концепция, согласно которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений, проводимых в терминах обычного языка. также Формализм математический.
Википедия
Финитизм — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника . Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм ).
При исследовании формальных систем в метаматематике финитизм означает использование лишь таких методов, которые свободны от неясностей и сомнений.
Примеры употребления слова финитизм в литературе.
Множества первой триады интерпретирую финитизм, являясь его значением, множества второй триады демонстрируют трансфинитизм.
Для исчисления логики отношений программа финитизма Гильберта представляется, таким образом, выполнимой, в частности, вопрос о непротиворечивости этой системы может быть решен средствами, которые в ней же формализуются, поскольку она своей интерпретацией имеет язык логики предикатов.
Источник: библиотека Максима Мошкова